\frame[containsverbatim]
{
  \frametitle{FindInconsistentSync implementation (continued)}
{\scriptsize
\begin{verbatim}
static class AccessCount {
  int numSyncAccesses;
  int numUnsyncAccesses;
  List<SourceLineAnnotation> unsyncLocList =
    new LinkedList<SourceLineAnnotation>();
  
  boolean isInconsistent() {
    return numSyncAccesses > 0 && numUnsyncAccesses > 0;
  }

  public void addSyncAccess() {
    numSyncAccesses++;
  }
  
  void addUnsyncAccess(SourceLineAnnotation sourceLoc) {
    numUnsyncAccesses++;
    unsyncLocList.add(sourceLoc);
  }
}
\end{verbatim}
}
}
